42. Foundations of logic programming

پدیدآورنده:

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: ، Logic programming,، Programming languages )Electronic computers( -- Semantics

رده :
QA
76
.
6
.
L56
1987

43. Full abstraction and semantic equivalence

پدیدآورنده:

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: ، Programming languages )Electronic computers( -- Semantics

رده :
QA
76
.
7
.
M86